struct S<P<T, <>
